
uint32 port_number
GpioPinConfiguration[] pin_configurations